Search results for "Double negation"
showing 2 items of 2 documents
Collection Principles in Dependent Type Theory
2002
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.
Four Potential Meanings of Double Negation
2016
The figurative use of double negations (not uninteresting, not unhappy) has been described by linguists and rhetoricians with regards to the rhetorical figure litotes. Both mitigation and strengthening have been proposed as aims of litotes (Horn, 1989; Krifka, 2007; van der Wouden, 1996). An analysis of the construction nicht un-adjective (not un-adj.) on the basis of German corpora leads to a coherent system of pragmatic functions for this sort of double negations. The construction can function as denial, potential presumption denial, mitigation or understatement. Nevertheless, litotes exemplifies the “indeterminate nature of figurative meaning” as suggested by Colston/Gibbs (2012: 259) in…